Mechanisms and Formal Descriptions for Trading Service Objects in Grid Markets
نویسندگان
چکیده
Along with the growth of Grid infrastructures over the last years, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of available services rises rapidly, concepts and standards for an economical efficient service allocation remain in their infancy. Most proposed mechanisms lack of an interdisciplinary analysis that accounts for economical and technical requirements of the underlying trading objects. In this paper we attempt to reduce this gap by introducing concepts and prescriptive languages for describing services as trading objects. Our contribution is a thorough classification of potential trading objects in Grid markets, an analysis of formal languages to describe these objects, and an evaluation of potential trading mechanisms.
منابع مشابه
Formal Descriptions and Market Mechanisms for Trading Grid Services
Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of available services rises rapidly, concepts and standards for an economical efficient service allocation remain in their infancy. Most proposed mechanisms lack of an interdisciplinary analysis that accounts for economical and t...
متن کاملDescription Languages and Market Mechanisms for Trading Grid Services
Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of available services rises rapidly, concepts and standards for an economical efficient service allocation remain in their infancy. Most proposed mechanisms lack of an interdisciplinary analysis that accounts for economical and t...
متن کاملThe Changing National Health Service: Market-Based Reform and Morality; Comment on “Morality and Markets in the NHS”
This commentary explores some of the issues raised by Gilbert et al.short communication, Morality and Markets in the NHS. The increasing role of market mechanisms and the changing types of healthcare providers together with the use of choice and competition to drive improvements in quality in the National Health Service (NHS), all have important ethical implications. In order for the NHS to con...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007